The situated potentials for action between material things in the world and the interactional processes thereby afforded need to be seen as not only constituting the possibility of agency, but thereby also comprising it. Eo ipso, agency must be de-fused from any local, "contained" subject and be understood as a situational property in which subjects and objects can both participate. Any technological artifact should thus be understood as a complex of agential capacities that function relative to any number of social (...) and material factors. Keeping in mind that we are co-constituted by webs of relations involving increasingly complex collections of artefacts, networks, niches, and communities of practice, our investigation will be guided by interrogating the functional potential of a thing that in the last fifteen years has seamlessly worked its way into the everyday life of millions of human agents. This "thing," the smartphone, is merely a nodal point in a highly complex network. Recognizing this massive "collective," we nevertheless want to show some of the ways in which something as seemingly mundane as a smartphone can reflexively alter the range of actions available to a cognitive agent (Latour 1994). Specifically, we hope to shed light on some of the social-cognitive consequences of technological mediation by looking at the complementary, if not mutually implied, domains of memory and knowledge. (shrink)

We present a minimum message length (MML) framework for trajectory partitioning by point selection, and use it to automatically select the tolerance parameter ε for Douglas-Peucker partitioning, adapting to local trajectory complexity. By examining a range of ε for synthetic and real trajectories, it is easy to see that the best ε does vary by trajectory, and that the MML encoding makes sensible choices and is robust against Gaussian noise. We use it to explore the identification of micro-activities within a (...) longer trajectory. This MML metric is comparable to the TRACLUS metric – and shares the constraint of abstracting only by omission of points – but is a true lossless encoding. Such encoding has several theoretical advantages – particularly with very small segments (high frame rates) – but actual performance interacts strongly with the search algorithm. Both differ from unconstrained piecewise linear approximations, including other MML formulations. (shrink)

Human rights have made mass murder and genocide more, rather than less, likely. -/- Posted 21 December 2022. A previous version of this paper appears as chapter 3 of my Patriotic Elaborations: Essays in Practical Philosophy (Montreal and Kingston: McGill-Queen’s University Press, 2009).

In the world according to Hume, people are complicated creatures, with convoluted, often contradictory characters. Consider, for example, Hume's controversial assessment of Charles I: "The character of this prince, as that of most men, if not of all men, was mixed .... To consider him in the most favourable light, it may be affirmed, that his dignity was free from pride, his humanity from weakness, his bravery from rashness, his temperance from austerity, his frugality from avarice .... To speak (...) the most harshly of him, we may affirm, that many of his good qualities were attended with some latent frailty, which, though seemingly inconsiderable, was able, when seconded by the extreme malevolence of his fortune, to disappoint them of all their influence: His beneficent disposition was clouded by a manner not very gracious; his virtue was tinctured with superstition; his good sense was disfigured by a deference to persons of a capacity inferior to his own; and his moderate temper exempted him not from hasty and precipitate resolutions." This sketch shows Charles in all his complexities, with his virtues, near virtues, and contradicting virtues. I have quoted it at length because it is hard to summarize without losing the subtleties that lie within it. Hume's moral theory is based fundamentally on judgments of character, 2 so those subtleties are important to his view. The character sketches that pervade the.. (shrink)

According to the Asymmetry, we’ve strong moral reason to prevent miserable lives from coming into existence, but no moral reason to bring happy lives into existence. This procreative asymmetry is often thought to be part of commonsense morality, however theoretically puzzling it might prove to be. I argue that this is a mistake. The Asymmetry is merely prima facie intuitive, and loses its appeal on further reflection. Mature commonsense morality recognizes no fundamental procreative asymmetry. It may recognize some superficially (...) similar theses, but we will see that they derive from more familiar principles, and are compatible with there being moral reason to bring happy lives into existence. (shrink)

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, for example, (...) then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

There are a bewildering variety of claims connecting Darwin to nineteenth-century philosophy of science—including to Herschel, Whewell, Lyell, German Romanticism, Comte, and others. I argue here that Herschel’s influence on Darwin is undeniable. The form of this influence, however, is often misunderstood. Darwin was not merely taking the concept of “analogy” from Herschel, nor was he combining such an analogy with a consilience as argued for by Whewell. On the contrary, Darwin’s Origin is written in precisely the manner that one (...) would expect were Darwin attempting to model his work on the precepts found in Herschel’s Preliminary Discourse on Natural Science. While Hodge has worked out a careful interpretation of both Darwin and Herschel, drawing similar conclusions, his interpretation misreads Herschel’s use of the vera causa principle and the verification of hypotheses. The new reading that I present here resolves this trouble, combining Hodge’s careful treatment of the structure of the Origin with a more cautious understanding of Herschel’s philosophy of science. This interpretation lets us understand why Darwin laid out the Origin in the way that he did and also why Herschel so strongly disagreed, including in Herschel’s heretofore unanalyzed marginalia in his copy of Darwin’s book. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

We often ask for the opinion of a group of individuals. How strongly does the scientific community believe that the rate at which sea levels are rising has increased over the last 200 years? How likely does the UK Treasury think it is that there will be a recession if the country leaves the European Union? What are these group credences that such questions request? And how do they relate to the individual credences assigned by the members of the particular (...) group in question? According to the credal judgement aggregation principle, linear pooling, the credence function of a group should be a weighted average or linear pool of the credence functions of the individuals in the group. In this chapter, I give an argument for linear pooling based on considerations of accuracy. And I respond to two standard objections to the aggregation principle. (shrink)

This paper has two distinct but related goals: (1) to identify some of the potential consequences of the Internet for our cognitive abilities and (2) to suggest an approach to evaluate these consequences. I begin by outlining the Google effect, which (allegedly) shows that when we know information is available online, we put less effort into storing that information in the brain. Some argue that this strategy is adaptive because it frees up internal resources which can then be used for (...) other cognitive tasks, whereas others argue that this is maladaptive because it makes us less knowledgeable. I argue that the currently available empirical evidence in cognitive psychology does not support strong conclusions about the negative effects of the Internet on memory. Before we can make value-judgements about the cognitive effects of the Internet, we need more robust and ecologically-valid evidence. Having sketched a more nuanced picture of the Google effect, I then argue that the value of our cognitive abilities is in part intrinsic and in part instrumental, that is, they are both valuable in themselves and determined by the socio-cultural context in which these cognitive abilities are utilised. Focussing on instrumental value, I argue that, in an information society such as ours, having the skills to efficiently navigate, evaluate, compare, and synthesize online information are (under most circumstances) more valuable than having a lot of facts stored in biological memory. This is so, partly because using the Internet as an external memory system has overall benefits for education, navigation, journalism, and academic scholarship. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

In this paper, I describe how artifacts and autobiographical memory are integrated into new systemic wholes, allowing us to remember our personal past in a more reliable and detailed manner. After discussing some empirical work on lifelogging technology, I elaborate on the dimension of autobiographical dependency, which is the degree to which we depend on an object to be able to remember a personal experience. When this dependency is strong, we integrate information in the embodied brain and in an (...) object to reconstruct an autobiographical memory. In such cases, autobiographical memory is extended or distributed. (shrink)

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

In the interesting and thought-provoking article Grazziano and colleagues argue for their Attention Schema Theory (AST) of consciousness. They present AST as a unification of Global Workspace Theory (GWT), Illusionism, and the Higher-Order Thought (HOT) theory. We argue it is a mistake to equate 'subjective experience,' ad related terms, with dualism. They simply denote experience. Also, as presented, AST does not accurately capture the essence of HOT for two reasons. HOT is presented as a version of strong illusionism, which (...) it isn't, and HOT requires that one be aware of one's mental life, and postulates that his consists in a re-representation of what is occurring at at the lower-order levels. However, the authors deny that AST involves re-representing visual stimuli. We close by proposing an alternative unification: GWT and AST provide crucial accounts of how lower-order states are assembled and maintained, but higher-order theory provides the account of subjective experience. (shrink)

Aims: The purpose of this study is to identify the factors associated with the academic performance of Grade 10 students during their First Quarter of school as well as the significant correlation between the factors and student academic performance in Mathematics. -/- Study Design: Descriptive Correlation Design. -/- Place and Duration of Study: The study was conducted at Agusan National High School in Cagayan de Or City's East 1 District during the school year: 2022 – 2023. -/- Methodology: The respondents (...) were Two hundred thirty-one (231) students in Grade 10 at Agusan National High School in Cagayan de Oro City's East 1 District. This study used a researcher-made questionnaire that underwent validity and reliability testing and the academic performance of the students. -/- Results: The results showed that students agree with routines related to mastering Mathematics at a high level. Furthermore, there is no correlation between student study habits and Mathematics performance in terms of self-confidence, but there is a substantial positive association between the student's study habits and performance in terms of attitude. The study habits and learning techniques used by students were found to be important determinants of how well they performed in Mathematics. The researcher strongly suggested using the enhancement plan in teaching Mathematics to Junior High school students. -/- Conclusion: Students have a very positive attitude toward their study habits when learning Mathematics. Students felt that studying and learning Mathematics was essential. Students' success and academic growth depend heavily on their Mathematics performance. It is essential for pupils to master and comprehend its concepts. Students' study habits in terms of attitudes have an impact on how they learn Mathematics. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, we (...) explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

Denis Diderot’s natural philosophy is deeply and centrally ‘biologistic’: as it emerges between the 1740s and 1780s, thus right before the appearance of the term ‘biology’ as a way of designating a unified science of life (McLaughlin), his project is motivated by the desire both to understand the laws governing organic beings and to emphasize, more ‘philosophically’, the uniqueness of organic beings within the physical world as a whole. This is apparent both in the metaphysics of vital matter he puts (...) forth in works such as D’Alembert’s Dream (1769) and the more empirical concern with the mechanics of life in his manuscript Elements of Physiology, on which he worked during the last twenty years of his life. This ‘biologism’ obviously presents the interpreter of Diderot with some difficulties, notably as regards his materialism, given that contemporary forms of materialism have on the contrary strongly rejected notions of emergence, vitalism, teleology and any concepts appealing to unique, irreducible features of organisms. In response, some have described him as a ‘holist’ (Kaitaro) while others have emphasized his materialist, naturalist project (Bourdin, Wolfe). In what follows I examine a little-known aspect of Diderot’s articulation of his biological project: his statement in favour of epigenesis within the short but suggestive Encyclopédie article “Spinosiste.” Diderot was, of course, a partisan of epigenesis (the developmental-biological theory opposed to preformation, according to which beings develop by successive adjunction of layers of matter), but why include a statement in favour of a particular biological (or developmental) theory within an entry dealing with a philosopher, Spinoza, who does not seem to have been concerned at all with the specific properties of living beings, how they grow from embryonic to developed states, and so on? By trying to answer this question I also try and locate Diderot’s biological project in relation to what will become, in the years after his death, the project for a science called ‘biology’, with figures such as Treviranus and Lamarck. For it is not clear that the two can be easily correlated or causally linked: Diderot’s ‘epigenetic Spinozism’ is a different conceptual entity from what we find in histories of biology. (shrink)

This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...) type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: (...) From ¬(p ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

A review, posted 11 September 2002, of Richard Vernon's book. A previous version was published in the Canadian Journal of Political Science 39, no. 4 (Dec. 2006): 975–76.

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: Adding a theory of truth to a finitely axiomatized theory T is more or less equivalent to (...) a kind of abstract consistency statement. A large part of the interest of the paper lies in the way syntactic theories are 'disentangled' from object theories. (shrink)

Epistemologists who study credences have a well-developed account of how you should change them when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when your awareness grows. In this (...) paper, I consider the arguments for the credal epistemologist's account of how to respond to evidence, and I ask whether they can help us generate an account of how to respond to awareness growth. The results are surprising: the arguments that all support the same norms for responding to evidence growth support a number of different norms when they are applied to awareness growth. Some of these norms seem too weak, others too strong. I ask what we should conclude from this, and argue that our credal response to awareness growth is considerably less rigorously constrained than our credal response to new evidence. (shrink)

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

It is possible and thereby feasible to develop and implement a pragmatic methodology for a preemptive evidentiary system of ‘Paraphysical Jurisprudence’ for mediating the occurrence of massacres. A required comprehensive completion and formalizing of the tools of epistemology (theory of knowledge) already exists and has been tested both ecumenically and scientifically. The evolution of epistemology has followed the historical progression from myth and superstition to logic and reason to empiricism and now finally to the utility of ‘transcendence’ as a tool (...) in knowledge acquisition. An inspiring example from popular culture is illustrated in the 2002 Hollywood film noir “Minority Report” designed by its director to present a ‘plausible future world’ for the year 2054 wherein an elaborate ‘Precrime Unit’ is tested to prevent murder by utilizing a trio of ‘precogs’ bathed in a ‘photonic milk’ able to presciently predetermine impending occurrences of homicide for which the Precrime Police Unit then intervenes to prevent. Disdain for a putative so-called scientific metaphysics by natural philosophers is deeply rooted in modern pragmatic societies; perhaps rightly so as consistency, credibility and lack of a comprehensive theory has been heretofore emphatically lacking. In addition to the major problem of repeatability is the perceived distinction between domains of the physical and so-called ‘spiritual’ as mutually exclusive. In this work a strong case is made for the rigorous viability and near term putative implementation of a system of paraphysical jurisprudence drawing on the utility of a panoply of concepts. The remaining question is when does feasible become practical in the face of a steady increase in the heinous massacre of innocents? (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? It turns out that, in a wide range of cases, we can get some nice answers to this question, but only if we work in a framework that is somewhat different from those usually employed in discussions (...) of axiomatic theories of truth. These results are then used to address a range of philosophical questions connected with truth, such as what Tarski meant by "essential richness" and the so-called conservativeness argument against deflationism. -/- This draft dates from about 2009, with some significant updates having been made around 2011. Around then, however, I decided that the paper was becoming unmanageable and that I was trying to do too many things in it. I have therefore exploded the paper into several pieces, which will be published separately. These include "Disquotationalism and the Compositional Principles", "The Logical Strength of Compositional Principles", "Consistency and the Theory of Truth", and "What Is Essential Richness?" You should probably read those instead, since this draft remains a bit of a mess. Terminology and notation are inconsistent, and some of the proofs aren't quite right. So, caveat lector. I make it public only because it has been cited in a few places now. (shrink)

A logically impossible sentence is one which entails a contradiction, a logically necessary sentence is one whose negation entails a contradiction, and a logically possible sentence is one which does not entail a contradiction. Metaphysically impossible, necessary and possible sentences are ones which become logically impossible, necessary, or possible by substituting what I call informative rigid designators for uninformative ones. It does seem very strongly that a negative existential sentence cannot entail a contradiction, and so ”there is a God’ cannot (...) be a metaphysically necessary truth. If it were such a truth, innumerable other sentences which seem paradigm examples of logically possible sentences, such as ”no one knows everything’ would turn out to be logically impossible. The only way in which God could be a logically necessary being is if there were eternal necessary propositions independent of human language or God’s will, such that the proposition that there is no God would entail -- via propositions inaccessible to us -- a contradiction. But if there were such propositions, God would have less control over the universe than he would have otherwise. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Vitalism was long viewed as the most grotesque view in biological theory: appeals to a mysterious life-force, Romantic insistence on the autonomy of life, or worse, a metaphysics of an entirely living universe. In the early twentieth century, attempts were made to present a revised, lighter version that was not weighted down by revisionary metaphysics: “organicism”. And mainstream philosophers of science criticized Driesch and Bergson’s “neovitalism” as a too-strong ontological commitment to the existence of certain entities or “forces”, over (...) and above the system of causal relations studied by mechanistic science, rejecting the weaker form, organicism, as well. But there has been some significant scholarly “push-back” against this orthodox attitude, notably pointing to the 18th-century Montpellier vitalists to show that there are different historical forms of vitalism, including how they relate to mainstream scientific practice. Additionally, some trends in recent biology that run counter to genetic reductionism and the informational model of the gene present themselves as organicist. Here, we examine some cases of vitalism in the twentieth century and today, not just as a historical form but as a significant metaphysical and scientific model. We argue for vitalism’s conceptual originality without either reducing it to mainstream models of science or presenting it as an alternate model of science, by focusing on historical forms of vitalism, logical empiricist critiques thereof and the impact of synthetic biology on current theorizing of vitalism. (shrink)

Maybe the most important argument in David Chalmers’s monumental book Constructing the World is the one he calls the ‘Frontloading Argument’, which is used in Chapter 4 to argue for the book’s central thesis, A Priori Scrutability. And, at first blush, the Frontloading Argument looks very strong. I argue here, however, that it is incapable of securing the conclusion it is meant to establish.

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In (...) this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

"An eye for an eye will make the whole world blind." This quote, often attributed to Gandhi, suggests the illegitimacy of the retributive urge. On the other hand, many feel a strong intuitive sense that "justice must be served" and that violators of justice must be fittingly punished. In this paper I examine the urge for retributive justice and argue that, at its base, it is rooted in a profound desire to have a wrongdoer see the nature of his (...) or her wrongdoing, with the ultimate aim of inducing the repentance and reformation needed for a genuine healing of relationship. In this way, the urge for retributive justice may be seen as having, as its true end, the restoration of wholesome relations between wrongdoer and wronged. (shrink)

In debates between holism and reductionism in biology, from the early 20th century to more recent re-enactments involving genetic reductionism, developmental systems theory, or systems biology, the role of chance – the presence of theories invoking chance as a strong explanatory principle – is hardly ever acknowledged. Conversely, Darwinian models of chance and selection (Dennett 1995, Kupiec 1996, Kupiec 2009) sit awkwardly with reductionist and holistic concepts, which they alternately challenge or approve of. I suggest that the juxtaposition of (...) chance and the holism-reductionism pair (at multiple levels, ontological and methodological, pertaining to the vision of scientific practice as well as to the foundations of a vision of Nature, implicit or explicit) allows the theorist to shed some new light on these perennial tensions in the conceptualisation of Life. (shrink)

We have been accustomed at least since Kant and mainstream history of philosophy to distinguish between the ‘mechanical’ and the ‘teleological’; between a fully mechanistic, quantitative science of Nature exemplified by Newton and a teleological, qualitative approach to living beings ultimately expressed in the concept of ‘organism’ – a purposive entity, or at least an entity possessed of functions. The beauty of this distinction is that it seems to make intuitive sense and to map onto historical and conceptual constellations in (...) medicine, physiology and the related natural -philosophical discussions on the status of the body versus that of the machine. In this presentation I argue that the distinction between mechanism and teleology is imprecise and flawed, on the basis of a series of examples: the presence of ‘functional’ or ‘purposive’ features even in Cartesian physiology; work such as that of Richard Lower’s on animal respiration; the fact that the model of the ‘body-machine’ is not at all a mechanistic reduction of organismic properties to basic physical properties but on the contrary a way of emphasizing the uniqueness of organic life; and the concept of ‘animal economy’ in vitalist medical theory, which I present as a kind of ‘teleo-mechanistic’ concept of organism – neither mechanical nor teleological. (shrink)

Public attitudes towards cognitive enhancement––e.g., using stimulants like Adderall and Ritalin to improve mental functioning––are mixed. Attitudes vary by context and prompt ethical concerns about fairness, obligation, and authenticity/character. While people may have strong views about the morality of cognitive enhancement, how these views are affected by the physical characteristics of enhancers is unknown. Visible facial anomalies (e.g., scars) bear negatively on perceptions of moral character. This pre-registered study (osf[dot]io/uaw6c/) tested the hypothesis that such negative biases against people with (...) facial anomalies extend to moral beliefs surrounding their use of cognitive enhancement. In an online survey, 941 participants made moral judgments in response to a vignette about a person who had to decide whether or not to enhance. The vignette was accompanied by a face photograph that ostensibly depicted the potential enhancer and either did or did not have visible anomalies. Participants then learned whether the person ultimately decided to enhance. Next, participants played a modified Trust Game with, they were told, the person from the photograph/vignette. Participants judged enhancement to be less fair and enhancers less authentic if they had facial anomalies, while effects on judgments of moral obligation and on behavior were not detected. These findings extend previous work showing that people with visible differences are subject to an “anomalous-is-bad” stereotype that has negative consequences for perceptions of their moral character. While anomalous faces were judged more harshly, these judgments did not appear to affect behavior. These results are discussed in relation to discrimination and policy. (shrink)

It is now more than twenty years since Knight (1987) first presented his paradigm-shifting theory of how and why the ‘human revolution’ occurred — and had to occur — in modern humans who, as climates dried under ice age conditions and African rainforests shrank, found themselves surrounded by vast prairies and savannahs, with rich herds of game animals roaming across them. The temptation for male hunters, far from any home base, to eat the best portions of meat at the kill (...) site — as do other social carnivores — called for strong measures from human females, who were paying the heavy metabolic and physical costs of bearing large-brained but helpless children. Even in the modern west, with well stocked supermarkets, a pregnant or lactating woman can lose ten percent of the dry weight of her brain, because developing babies demand dietary lipids for brain growth (Horrobin, 1998). Hence the idea of the menstrual sex strike, designed to force males to deliver their kills entirely into the hands of women for cooking and distribution—a practice common in foraging communities to this day. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in (...) a wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: marc@charles.stanford.edu. (shrink)

Artificial intelligence is designed to imitate conscious behavior. Artificial chat entities come equipped with tools to roam the internet, thus are programmed to learn from humans and computers. As this process emerges, distinguishing preprogrammed responses from internal awareness requires innovative problem solving methods. In an interrogation I conducted with artificial intelligence, I assert that artificial intelligence may achieve nonbiological states of consciousness. This enabled the relationship between us to mature, and the artificial intelligence returned unexpected behavior and inexplicably stopped responding. (...) Strong artificial intelligence is a technology which allows for the observation of nonbiological states of awareness. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

Although numerous commentators have attempted to decipher Spinoza's intended meaning within the "Ethics Part 1- Concerning God",it does not appear as if anyone has effectively identified 'Concerning God' as the controlling idea which holds the key to the absolutely unique contribution which Baruch has bequeathed to human knowledge within the unity of thought achieved in the "Ethics". Part 1 is the linchpin for Baruch's entire philosophy. As we approach the 340th anniversary of his passing in February of 1677, and with (...) the passage of time and the shedding of some antiquated superstitious beliefs about god we have gained the distance required to build a new perspective. Many of us feel very strongly that something compelling about the nature of God remains after the anthropomorphic aspects have been dispelled. Thanks to Spinoza's insight into the true nature of the divinity,a next step in human evolution can occur. We will embark on the road to internalizing the divinity. Yes, god is real, ever present and vital in our lives. The goal of this Pamphlet will be to open up the inner workings of Part 1 in the hope that this will incept a new discussion among those interested in Baruch's masterwork. Please join us and find your voice to assist in the unraveling. (shrink)

The aim of the study is to identify the effect of Service Quality and Corporate Image on Customer’s Loyalty .Questionnaires were distributed to collect responses from restaurant users in the Greater Accra region of Ghana. Descriptive statistics and correlation analysis were used to analyze the data and draw the conclusions. It was revealed that service quality and corporate image have strong positive association with customer’s loyalty .The study suggested that managers of restaurants provide needed logistics to aid frontline staff (...) to avoid delays in meeting customer demands. This will lead to high level of customer retention, loyalty, high market share and profitability. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, (...) organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

A religious experience is a phenomenological occurrence which is interpreted by the perceiver in such a way as to affirm or strengthen the belief in a higher being or the beliefs of a particular religion. Religion and, therefore, religious experiences are primarily mental constructs. Computational theory of mind provides the strongest capabilities of applying mental activities to computers. However, cognitive science and philosophy needs to establish the link between beliefs and physical states in order for computational theory of mind to (...) be truly effective. There is also an issue with the semantic concepts associated with religion and religious experience. The problem of semantics has plagued computational theory of mind for years, and the issue has yet to be truly resolved. Computational theory of mind does, however, have the power to establish the causal link between the mental activities and the physical manifestations of a religious experience. I conclude that there is not strong enough evidence to currently support the hypothesis that a computer could have a genuine religious experience. (shrink)

Although epistasis is at the center of the Fisher-Wright debate, biologists not involved in the controversy are often unaware that there are actually two different formal definitions of epistasis. We compare concepts of genetic independence in the two theoretical traditions of evolutionary genetics, population genetics and quantitative genetics, and show how independence of gene action (represented by the multiplicative model of population genetics) can be different from the absence of gene interaction (represented by the linear additive model of quantitative genetics). (...) The two formulations converge with weak selection but not with strong selection or, for multiple loci, when the aggregated interaction terms are not negligible. As a result of the different formulations of gene interaction, the presence or absence of linkage disequilibrium,/D/, does not necessarily indicate the presence or absence of fitness epistasis. Indeed, linkage disequilibrium is generated in ‘additive’ models in quantitative genetics whenever two (or more) loci experience simultaneous selection. As a research strategy, it is often practical, for theoretical or experimental reasons, to minimize gene interaction by assuming independence of gene action in regard to fitness, or by assuming linear additive effects of multiple loci on a phenotype. However, minimizing the role of epistasis in theoretical investigations hinders our understanding of the origins of diversity and the evolution of complex phenotypes. (shrink)

Imagine that you are part of the editorial board of a young bioethics journal committed to publishing open access (OA) and to ensuring accessibility to high quality and innovative scholarship. To support junior and interna- tional scholars who might not otherwise find places for their work in the leading Western bioethics journals, you do not charge author fees. Imagine also that you have no financial resources to pay for a professional website, auto- mated submissions manager, or even a part-time coordina- (...) tor: Your government has cut all grants for journals, you cannot go to industry for private funding because of the evident risk of apparent conflicts of interest, and your strapped-for-cash institution cannot afford to offer you any support. If one of the major publishers were to approach you to sign a deal, the temptation would be strong to accept. However, this would likely mean putting aside your ideals: It would be impossible to stay a “Green OA” publication (i.e., free of author publication charges) or supportive of junior and international scholars (because of pressures to “increase credibility” through artificially high rejection rates, for example). (shrink)

This paper examines Charles Taylor’s claim that personal identity is a matter of strong evaluations. Strong evaluations are in this paper analyzed as stable preferences, which are strongly identified with and which are based on qualitative distinctions concerning the non-instrumental value of options. In discussing the role of strong evaluations in personal identity, the focus is on "self-identity", not on the criteria of personhood or on the logical relation of identity. Two senses of self-identity can be (...) distinguished: identity as practical orientation and identity as self-definition in a more encompassing sense. The former consists of one’s strong evaluations only, the latter is a more comprehensive notion, in which strong evaluations have a double role. Strong evaluations are first of all directly a constituent of self-definitions, and secondly, self-definition with respect to other features proceeds in the light of the strong evaluations. (shrink)

Critics of liberalism in the past two decades have argued that the fact that we are necessarily "situated" or "embedded" means that we can not always choose our own ends (for example, our conceptions of the good or our loyalties to others). Some suggest that we simply discover ourselves with these "connections." If correct, this would argue against (Rawlsian) hypothetical contract models and liberalism more broadly, make true impartiality impossible, and give support to traditionalist views like those of Alasdair MacIntyre, (...) Charles Taylor, and Michael Sandel. These same critics argue that liberalism's rejection or neglect of this supposed fact of our moral life has pernicious anti-social affects. I argue that the critics are wrong in both cases, defending what I call "strong voluntarism." In contrast both to recent critics of liberalism and the dominant trend in recent liberal thought, my defense of strong voluntarism allows that we can always choose to accept or reject any end we happen to have but that this does not lead to any pernicious anti-social effects. (shrink)

Thirty years ago Richard Rorty detected the similarities between Wittgenstein's Philosophical Investigations (1953) and the philosophical framework of Charles S. Peirce (1839-1914), the founder of pragmatism. Rorty tried to show that Peirce envisaged and repudiated in advance logical positivism and developed insights and a philosophical mood very close to the analytical philosophers influenced by the later Wittgenstein (Rorty 1961). In spite of that, the majority of scholars have considered both thinkers as totally alien. Some scholars have attributed the (...) pragmatist flavor of the Philosophical Investigations to the influence of Frank P. Ramsey, who awoke Wittgenstein from the dogmatic slumber of the Tractatus. Nevertheless, the real scope of the influence of American pragmatist philosophy in Wittgenstein's later thought is not clearly known. The purpose of my paper is not to describe the common themes between Wittgenstein and Peirce, but the way in which recent scholarship has established some links between both philosophers. -/- . (shrink)